Towards Independent And-Parallelism in CLP
نویسندگان
چکیده
In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallehzing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.
منابع مشابه
An Automat ic Translation Scheme from CLP to AKL
The Andorra Kernel language scheme was aimed, in principle, at simultaneously supporting the programming styles of Prolog and committed choice languages. Within the constraint programming paradigm, this family of languages could also in principle support the concurrent constraint paradigm. This happens for the Agents Kernel Language (AKL). On the other hand, AKL requires a somewhat detailed spe...
متن کاملParallel CLP on Heterogeneous Networks
The combination of Or-Parallelism and Constraint Logic Programming (CLP) has proven to be very effective in tackling large combinatorial problems in real-life applications. However, existing implementations have focused on shared-memory multiprocessors. In this paper, we investigate how we can efficiently implement Or-Parallel CLP languages on heterogeneous networks, where communication bandwid...
متن کاملA Study of the Role of Repetition of Music in the Nimayee Poems of Akhavan Sales
In this article, the aim of the authors is to study the role of repetition in creating music and parallelism in Nimayee poems in the three collections of poems by Mehdi Akhavan Sales: Zamestan, Akhere Shahname and Az Avesta. Accordingly, the researchers have investigated the various manners of repetition in creating parallelism in the poems at three levels: phonological parallelism, lexical par...
متن کاملTowards a Concurrent Semantics based Analysis of CC and CLP
We present in an informal way some preliminary results on the investigation of e cient compile-time techniques for Constraint Logic [JL87] and Concurrent Constraint [Sar89] Programming. These techniques are viewed as sourceto-source program transformations between the two programming paradigms and are based on a concurrent semantics of CC programs [MR91]. Previous work [BH92] showed that it is ...
متن کاملEffects of gamma oryzanol on factors of oxidative stress and sepsis-induced lung injury in experimental animal model
Objective (s): There is corroborating evidence to substantiate redox imbalance and oxidative stress in sepsis that finally leads to organ damage or even death. Gamma oryzanol (GO) is one of the major bioactive components in rice bran has been considered to function as an antioxidant. The present study was carried out to evaluate the antioxidant activity of gamma oryzanol in vitro and its effica...
متن کامل